f-rel{$z,$wanted}(es;L;e1;e2)
== ((loc(e2) = loc(e1))) c the rcv(wanted message from e1 to loc(e2)) loc e2  

latex

---

clarification:

f-rel{$z,$wanted}(es;L;e1;e2)
== ((es-loc(es; e2) = es-loc(es; e1)  Id))
== c es-le(es;f-wanted{$z,$wanted}(es;e1;es-loc(es; e2));e2) 

latex

Definitions	A c B, A, s = t, Id, e loc e' , the rcv(wanted message from e1 to j), loc(e)
FDL editor aliases	f-rel